ENCOMPASS: A SAGA based environment for the compositon of programs and specifications, appendix A

ENCOMPASS is an example integrated software engineering environment being constructed by the SAGA project. ENCOMPASS supports the specification, design, construction and maintenance of efficient, validated, and verified programs in a modular programming language. The life cycle paradigm, schema of software configurations, and hierarchical library structure used by ENCOMPASS is presented. In ENCOMPASS, the software life cycle is viewed as a sequence of developments, each of which reuses components from the previous ones. Each development proceeds through the phases planning, requirements definition, validation, design, implementation, and system integration. The components in a software system are modeled as entities which have relationships between them. An entity may have different versions and different views of the same project are allowed. The simple entities supported by ENCOMPASS may be combined into modules which may be collected into projects. ENCOMPASS supports multiple programmers and projects using a hierarchical library system containing a workspace for each programmer; a project library for each project, and a global library common to all projects

Black holes and wormholes in AdS branes

In this work we have derived a class of geometries which describe black holes and wormholes in Randall-Sundrum-type brane models, focusing mainly on asymptotically anti-de Sitter backgrounds. We show that by continuously deforming the usual four dimensional vacuum background, a specific family of solutions is obtained. Maximal extensions of the solutions are presented, and their causal structures are discussed.Comment: 7 pages, 4 figures. Published version in Physical Review

Tree-oriented interactive processing with an application to theorem-proving, appendix E

The concept of unstructured structure editing and ted, an editor for unstructured trees, is described. Ted is used to manipulate hierarchies of information in an unrestricted manner. The tool was implemented and applied to the problem of organizing formal proofs. As a proof management tool, it maintains the validity of a proof and its constituent lemmas independently from the methods used to validate the proof. It includes an adaptable interface which may be used to invoke theorem provers and other aids to proof construction. Using ted, a user may construct, maintain, and verify formal proofs using a variety of theorem provers, proof checkers, and formatters

An Analysis of Financial Planning for Employees of East Tennessee State University.

The purpose of this study was to determine if East Tennessee State University provides its employees appropriate financial planning services. In particular, it is unknown to what degree employees of East Tennessee State University have actively engaged in financial planning. The research was conducted during June and July, 2005. Data were gathered by surveying faculty, staff, and retirees of the university. Ten percent of the population responded to the study. The survey instrument covered the areas of retirement, other financial planning services, and attitudes toward financial planning. The results of the data analysis gave insight into what degree employees of East Tennessee State University have actively engaged in financial planning. For example, over 20% of the respondents encouraged employees to start early in order to achieve the benefit of time value of money. Fifteen percent of the respondents suggested financial planning workshops be offered on a more frequent basis. Approximately 10% of the respondents preferred an instructor to be independent, instead of a financial salesperson. The study provided an increase in the body of knowledge on financial planning for the ETSU employee and established a historical database for the various programs offered within the ETSU system

Alien Registration- Campbell, Roy L. (Fort Fairfield, Aroostook County)

https://digitalmaine.com/alien_docs/35651/thumbnail.jp